3.1.61 \(\int \frac {\sin (c+d x)}{a+b x^2} \, dx\) [61]

Optimal. Leaf size=213 \[ -\frac {\text {Ci}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right ) \sin \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{2 \sqrt {-a} \sqrt {b}}+\frac {\text {Ci}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right ) \sin \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{2 \sqrt {-a} \sqrt {b}}-\frac {\cos \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Si}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 \sqrt {-a} \sqrt {b}}-\frac {\cos \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Si}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{2 \sqrt {-a} \sqrt {b}} \]

[Out]

1/2*cos(c+d*(-a)^(1/2)/b^(1/2))*Si(d*x-d*(-a)^(1/2)/b^(1/2))/(-a)^(1/2)/b^(1/2)-1/2*cos(c-d*(-a)^(1/2)/b^(1/2)
)*Si(d*x+d*(-a)^(1/2)/b^(1/2))/(-a)^(1/2)/b^(1/2)-1/2*Ci(d*x+d*(-a)^(1/2)/b^(1/2))*sin(c-d*(-a)^(1/2)/b^(1/2))
/(-a)^(1/2)/b^(1/2)+1/2*Ci(-d*x+d*(-a)^(1/2)/b^(1/2))*sin(c+d*(-a)^(1/2)/b^(1/2))/(-a)^(1/2)/b^(1/2)

________________________________________________________________________________________

Rubi [A]
time = 0.21, antiderivative size = 213, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 4, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {3414, 3384, 3380, 3383} \begin {gather*} -\frac {\sin \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {CosIntegral}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{2 \sqrt {-a} \sqrt {b}}+\frac {\sin \left (\frac {\sqrt {-a} d}{\sqrt {b}}+c\right ) \text {CosIntegral}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 \sqrt {-a} \sqrt {b}}-\frac {\cos \left (\frac {\sqrt {-a} d}{\sqrt {b}}+c\right ) \text {Si}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 \sqrt {-a} \sqrt {b}}-\frac {\cos \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Si}\left (x d+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{2 \sqrt {-a} \sqrt {b}} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[Sin[c + d*x]/(a + b*x^2),x]

[Out]

-1/2*(CosIntegral[(Sqrt[-a]*d)/Sqrt[b] + d*x]*Sin[c - (Sqrt[-a]*d)/Sqrt[b]])/(Sqrt[-a]*Sqrt[b]) + (CosIntegral
[(Sqrt[-a]*d)/Sqrt[b] - d*x]*Sin[c + (Sqrt[-a]*d)/Sqrt[b]])/(2*Sqrt[-a]*Sqrt[b]) - (Cos[c + (Sqrt[-a]*d)/Sqrt[
b]]*SinIntegral[(Sqrt[-a]*d)/Sqrt[b] - d*x])/(2*Sqrt[-a]*Sqrt[b]) - (Cos[c - (Sqrt[-a]*d)/Sqrt[b]]*SinIntegral
[(Sqrt[-a]*d)/Sqrt[b] + d*x])/(2*Sqrt[-a]*Sqrt[b])

Rule 3380

Int[sin[(e_.) + (f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[SinIntegral[e + f*x]/d, x] /; FreeQ[{c, d,
e, f}, x] && EqQ[d*e - c*f, 0]

Rule 3383

Int[sin[(e_.) + (f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[CosIntegral[e - Pi/2 + f*x]/d, x] /; FreeQ
[{c, d, e, f}, x] && EqQ[d*(e - Pi/2) - c*f, 0]

Rule 3384

Int[sin[(e_.) + (f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Dist[Cos[(d*e - c*f)/d], Int[Sin[c*(f/d) + f*x]
/(c + d*x), x], x] + Dist[Sin[(d*e - c*f)/d], Int[Cos[c*(f/d) + f*x]/(c + d*x), x], x] /; FreeQ[{c, d, e, f},
x] && NeQ[d*e - c*f, 0]

Rule 3414

Int[((a_) + (b_.)*(x_)^(n_))^(p_)*Sin[(c_.) + (d_.)*(x_)], x_Symbol] :> Int[ExpandIntegrand[Sin[c + d*x], (a +
b*x^n)^p, x], x] /; FreeQ[{a, b, c, d}, x] && ILtQ[p, 0] && IGtQ[n, 0] && (EqQ[n, 2] || EqQ[p, -1])

Rubi steps

\begin {align*} \int \frac {\sin (c+d x)}{a+b x^2} \, dx &=\int \left (\frac {\sqrt {-a} \sin (c+d x)}{2 a \left (\sqrt {-a}-\sqrt {b} x\right )}+\frac {\sqrt {-a} \sin (c+d x)}{2 a \left (\sqrt {-a}+\sqrt {b} x\right )}\right ) \, dx\\ &=-\frac {\int \frac {\sin (c+d x)}{\sqrt {-a}-\sqrt {b} x} \, dx}{2 \sqrt {-a}}-\frac {\int \frac {\sin (c+d x)}{\sqrt {-a}+\sqrt {b} x} \, dx}{2 \sqrt {-a}}\\ &=-\frac {\cos \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \int \frac {\sin \left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{\sqrt {-a}+\sqrt {b} x} \, dx}{2 \sqrt {-a}}+\frac {\cos \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \int \frac {\sin \left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{\sqrt {-a}-\sqrt {b} x} \, dx}{2 \sqrt {-a}}-\frac {\sin \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \int \frac {\cos \left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{\sqrt {-a}+\sqrt {b} x} \, dx}{2 \sqrt {-a}}-\frac {\sin \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \int \frac {\cos \left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{\sqrt {-a}-\sqrt {b} x} \, dx}{2 \sqrt {-a}}\\ &=-\frac {\text {Ci}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right ) \sin \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{2 \sqrt {-a} \sqrt {b}}+\frac {\text {Ci}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right ) \sin \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{2 \sqrt {-a} \sqrt {b}}-\frac {\cos \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Si}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{2 \sqrt {-a} \sqrt {b}}-\frac {\cos \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Si}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{2 \sqrt {-a} \sqrt {b}}\\ \end {align*}

________________________________________________________________________________________

Mathematica [C] Result contains complex when optimal does not.
time = 0.13, size = 172, normalized size = 0.81 \begin {gather*} \frac {i \left (\text {Ci}\left (d \left (\frac {i \sqrt {a}}{\sqrt {b}}+x\right )\right ) \sin \left (c-\frac {i \sqrt {a} d}{\sqrt {b}}\right )-\text {Ci}\left (d \left (-\frac {i \sqrt {a}}{\sqrt {b}}+x\right )\right ) \sin \left (c+\frac {i \sqrt {a} d}{\sqrt {b}}\right )+\cos \left (c-\frac {i \sqrt {a} d}{\sqrt {b}}\right ) \text {Si}\left (d \left (\frac {i \sqrt {a}}{\sqrt {b}}+x\right )\right )+\cos \left (c+\frac {i \sqrt {a} d}{\sqrt {b}}\right ) \text {Si}\left (\frac {i \sqrt {a} d}{\sqrt {b}}-d x\right )\right )}{2 \sqrt {a} \sqrt {b}} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[Sin[c + d*x]/(a + b*x^2),x]

[Out]

((I/2)*(CosIntegral[d*((I*Sqrt[a])/Sqrt[b] + x)]*Sin[c - (I*Sqrt[a]*d)/Sqrt[b]] - CosIntegral[d*(((-I)*Sqrt[a]
)/Sqrt[b] + x)]*Sin[c + (I*Sqrt[a]*d)/Sqrt[b]] + Cos[c - (I*Sqrt[a]*d)/Sqrt[b]]*SinIntegral[d*((I*Sqrt[a])/Sqr
t[b] + x)] + Cos[c + (I*Sqrt[a]*d)/Sqrt[b]]*SinIntegral[(I*Sqrt[a]*d)/Sqrt[b] - d*x]))/(Sqrt[a]*Sqrt[b])

________________________________________________________________________________________

Maple [A]
time = 0.04, size = 225, normalized size = 1.06

method	result	size
derivativedivides	\(d \left (-\frac {\sinIntegral \left (d x +c -\frac {d \sqrt {-a b}+c b}{b}\right ) \cos \left (\frac {d \sqrt {-a b}+c b}{b}\right )+\cosineIntegral \left (d x +c -\frac {d \sqrt {-a b}+c b}{b}\right ) \sin \left (\frac {d \sqrt {-a b}+c b}{b}\right )}{2 b \left (-\frac {d \sqrt {-a b}+c b}{b}+c \right )}-\frac {\sinIntegral \left (d x +c +\frac {d \sqrt {-a b}-c b}{b}\right ) \cos \left (\frac {d \sqrt {-a b}-c b}{b}\right )-\cosineIntegral \left (d x +c +\frac {d \sqrt {-a b}-c b}{b}\right ) \sin \left (\frac {d \sqrt {-a b}-c b}{b}\right )}{2 b \left (\frac {d \sqrt {-a b}-c b}{b}+c \right )}\right )\)	\(225\)
default	\(d \left (-\frac {\sinIntegral \left (d x +c -\frac {d \sqrt {-a b}+c b}{b}\right ) \cos \left (\frac {d \sqrt {-a b}+c b}{b}\right )+\cosineIntegral \left (d x +c -\frac {d \sqrt {-a b}+c b}{b}\right ) \sin \left (\frac {d \sqrt {-a b}+c b}{b}\right )}{2 b \left (-\frac {d \sqrt {-a b}+c b}{b}+c \right )}-\frac {\sinIntegral \left (d x +c +\frac {d \sqrt {-a b}-c b}{b}\right ) \cos \left (\frac {d \sqrt {-a b}-c b}{b}\right )-\cosineIntegral \left (d x +c +\frac {d \sqrt {-a b}-c b}{b}\right ) \sin \left (\frac {d \sqrt {-a b}-c b}{b}\right )}{2 b \left (\frac {d \sqrt {-a b}-c b}{b}+c \right )}\right )\)	\(225\)
risch	\(\frac {{\mathrm e}^{\frac {i b c -d \sqrt {a b}}{b}} \expIntegral \left (1, -\frac {-i b c +d \sqrt {a b}+b \left (i d x +i c \right )}{b}\right ) \sqrt {a b}}{4 a b}-\frac {{\mathrm e}^{\frac {i b c +d \sqrt {a b}}{b}} \expIntegral \left (1, \frac {i b c +d \sqrt {a b}-b \left (i d x +i c \right )}{b}\right ) \sqrt {a b}}{4 a b}-\frac {\sqrt {a b}\, {\mathrm e}^{-\frac {i b c -d \sqrt {a b}}{b}} \expIntegral \left (1, \frac {-i b c +d \sqrt {a b}+b \left (i d x +i c \right )}{b}\right )}{4 a b}+\frac {\sqrt {a b}\, {\mathrm e}^{-\frac {i b c +d \sqrt {a b}}{b}} \expIntegral \left (1, -\frac {i b c +d \sqrt {a b}-b \left (i d x +i c \right )}{b}\right )}{4 a b}\)	\(258\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(sin(d*x+c)/(b*x^2+a),x,method=_RETURNVERBOSE)

[Out]

d*(-1/2/b/(-(d*(-a*b)^(1/2)+c*b)/b+c)*(Si(d*x+c-(d*(-a*b)^(1/2)+c*b)/b)*cos((d*(-a*b)^(1/2)+c*b)/b)+Ci(d*x+c-(
d*(-a*b)^(1/2)+c*b)/b)*sin((d*(-a*b)^(1/2)+c*b)/b))-1/2/b/((d*(-a*b)^(1/2)-c*b)/b+c)*(Si(d*x+c+(d*(-a*b)^(1/2)
-c*b)/b)*cos((d*(-a*b)^(1/2)-c*b)/b)-Ci(d*x+c+(d*(-a*b)^(1/2)-c*b)/b)*sin((d*(-a*b)^(1/2)-c*b)/b)))

________________________________________________________________________________________

Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sin(d*x+c)/(b*x^2+a),x, algorithm="maxima")

[Out]

integrate(sin(d*x + c)/(b*x^2 + a), x)

________________________________________________________________________________________

Fricas [C] Result contains complex when optimal does not.
time = 0.38, size = 187, normalized size = 0.88 \begin {gather*} \frac {\sqrt {\frac {a d^{2}}{b}} {\rm Ei}\left (i \, d x - \sqrt {\frac {a d^{2}}{b}}\right ) e^{\left (i \, c + \sqrt {\frac {a d^{2}}{b}}\right )} - \sqrt {\frac {a d^{2}}{b}} {\rm Ei}\left (i \, d x + \sqrt {\frac {a d^{2}}{b}}\right ) e^{\left (i \, c - \sqrt {\frac {a d^{2}}{b}}\right )} + \sqrt {\frac {a d^{2}}{b}} {\rm Ei}\left (-i \, d x - \sqrt {\frac {a d^{2}}{b}}\right ) e^{\left (-i \, c + \sqrt {\frac {a d^{2}}{b}}\right )} - \sqrt {\frac {a d^{2}}{b}} {\rm Ei}\left (-i \, d x + \sqrt {\frac {a d^{2}}{b}}\right ) e^{\left (-i \, c - \sqrt {\frac {a d^{2}}{b}}\right )}}{4 \, a d} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sin(d*x+c)/(b*x^2+a),x, algorithm="fricas")

[Out]

1/4*(sqrt(a*d^2/b)*Ei(I*d*x - sqrt(a*d^2/b))*e^(I*c + sqrt(a*d^2/b)) - sqrt(a*d^2/b)*Ei(I*d*x + sqrt(a*d^2/b))
*e^(I*c - sqrt(a*d^2/b)) + sqrt(a*d^2/b)*Ei(-I*d*x - sqrt(a*d^2/b))*e^(-I*c + sqrt(a*d^2/b)) - sqrt(a*d^2/b)*E
i(-I*d*x + sqrt(a*d^2/b))*e^(-I*c - sqrt(a*d^2/b)))/(a*d)

________________________________________________________________________________________

Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sin {\left (c + d x \right )}}{a + b x^{2}}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sin(d*x+c)/(b*x**2+a),x)

[Out]

Integral(sin(c + d*x)/(a + b*x**2), x)

________________________________________________________________________________________

Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sin(d*x+c)/(b*x^2+a),x, algorithm="giac")

[Out]

integrate(sin(d*x + c)/(b*x^2 + a), x)

________________________________________________________________________________________

Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {\sin \left (c+d\,x\right )}{b\,x^2+a} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(sin(c + d*x)/(a + b*x^2),x)

[Out]

int(sin(c + d*x)/(a + b*x^2), x)

________________________________________________________________________________________